perm filename FEFERM[W79,JMC] blob
sn#525145 filedate 1980-07-19 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 Topics to raise with Feferman
C00003 ENDMK
Cā;
Topics to raise with Feferman
1. Feferman should know about FOL.
2. Godel numbering gives a false impression of the difficulty of
making logic explicit enough so that fully formal proofs can
be written and read by people.
3. Would Feferman sympathize with "logic for the practical man"?
4. Will he help with heavy duty set theory?